;;; -*- mode: clojure; coding: utf-8 -*-
;;; https://github.com/edn-format/edn

#{-6629304301671011620 5109275788003842882 5176983441905779490
  7994158139924607033 6257006649114708517 3967349220648174424
  3514022033620148267 -578272236751025962 8736652264880854578
  5190082033674479836 -9190673120466439235 8854665125294521316
  -2904259662820700615 7047344074668540728 1828866677401013677
  -7180144747787739900 8397215169784147764 2799157350005184327
  -7061437088164809247 5285360882048354840 -8732421951635001056
  -6265604027596076139 -3676195789081007448 6151564128789203771
  -7512743304539544060 9051567154094676414 -2650615867388506359
  7862116283216004346 -5847832143253806682 -8421648431699974817
  -3408851446705783413 -4559262147504535269 6476559627826596490
  4760278489165986384 3510712920303604876 6406812618046514273
  6389641812511246111 1041907734338759664 2408358472186507205
  753889579814883348 -871528204985018569 -4219384254566209856
  -8703238853041353473 -2710100074224011113 7383407724801859796
  8527090246764688486 5073769107992958271 1008654164409486014
  -1516587676854849333 272787272006229460 5206684937799996221
  -8608589079225162153 -1560293957596283031 -5749342433798985724
  -7831954830445375213 8863153277226153234 1272786999912721705
  -7800878682371063190 1292514082561109748 4493237759838157742
  -7843178638742085932 -3846612595263479176 6506057946080844122
  8423329622457269544 -7195135439044260111 -6238504060827297507
  -8614284673903367909 8225471937218021252 2052253625114051949
  4078799096926160618 8901558657234381998 50889549237309223
  8127894459406438419 2096273161778853972 -7711208275050983956
  -8060416733219548018 -3767353268502857464 8824852222793083158
  -7635855678857350954 8434531339401950449 2775794701300190995
  2841654382851850298 -1970365272580798824 2001263088841542540
  4251902142818576345 -8472528501425983082 -3739416719862297201
  -242180458010118167 -6745258098172138818 -6417271434047443040
  6301716632963102658 6711424739542456092 5373299648157856174
  412980514370600407 6774044771983591349 -454797053848494564
  -635088591242614581 -6373255198379876184 1731475084449757643
  -1176592974426884019 -8123657501267810774 -5520668616713255963
  -8292929848917475620 7198778642753329641 9057030998895342420
  -1100762336056609635 6119075291222413423 -7225723980867833677
  4454894840159065152 5236585543658992079 7319849632864076628
  -3781744505447914423 1997537157499408951 6707613804509927510
  -6144059029623129764 392441280041366754 7307745481313608813
  -8709354582776687737 7859533036613927014 -7393594880769582239
  -3776171988683452332 -1158594269732108441 620844155800240569
  7962073501393980523 -601060708655592039 3671287261457408082
  -8918791258544738664 -6491222230652084249 1997532890329221558
  8999390603011286576 9032194803311075699 2299462144189554881
  -2226939250999443730 456886851459943625 -3872025846844880413
  -4128566979076306122 -3383558617680435585 8733078465391600090
  5264932058215213741 6098781218508134486 -7156065815220219508
  -3198649848398132918 -8633613756112874582 -5833525679619857777
  3295695283811748996 -5804232688835834627 527834993568757027
  1982746748535375787 574668806296999998 -4603906459151216267
  -9125245342731702345 -1626763500223073003 -6143499581876242996
  -4365345911557165209 6605603075324794493 -6269579455045427146
  5802309430176072461 823088753547141246 -4814788672421905004
  4976383773123016718 -7681139057747689957 -7287945149163346398
  4312289773558047249 -720850454954932074 6216655844823247183
  -8401316965847517767 -2585949627028151423 -2408191784839405226
  -8881658807665014435 8350108941345314005 3985620791025553372
  5899420680718271736 -3990637493723281643 3654835972021235377
  -7845893782804659634 -6813899712210996782 7083225230321166451
  -2300439140303159960 -4592866523089738855 -4612585333654409807
  -6663672582213909803 -8472579024217883258 3861222179636838143
  8449915896719532478 -5251018939023921637 332241945952603241
  8104096083861973040 -5820447893553191655 3650757540445762592
  -6476754165465484603 -1548410984169250614 1682372226488471555
  -7772998630572638642 -2095953484637239894 -8142727470866696126
  -4506373888534360047 -436279555587638579 1599732410157226277
  -5894243337975779862 -8354460435405438084 3470419818307485011
  5399960234007990907 -5801439664035633121 -6839971699565168455
  -6927358742263348594 7686398475608854387 -4982243944342443452
  1982245940538631149 5248527790071805428 -6190935788895537840
  -4991103024424410147 -3728453504523904695 7039155999585216789
  -2963089442863394854 1465467548753869051 3833947548751959288
  -1645370627271391742 6567777692040901952 -5461395527423710249
  -5272939700371037404 -3212488698909799185 -567802397817329447
  7478380035255933318 -5972401035504788891 25740270334492704
  -6508905049566129196 455866550222912181 3002068393430520783
  2718133184610525465 1210209265316499497 9030484340001843050
  -8927189097153309133 -9047692775934933576 4610628347951134990
  -1611925325662916233 6900720059258860374 -6140493195378535685
  4113937686795275172 6498567098317567771 6062212283342096016
  -8859493007618591345 5050477460189670878 6703261256516527931
  -7820769613530223398 -8453238216135715070 5407332064170866815
  6224218829400528335 -4306724178142284050 5736185176729736645
  1513961728897864680 -806595313317680587 7670069774427790294
  4765952354690124910 4667503987971042849 -7941037942922833
  -531407630136922185 4163831968729274169 -5832500265906745428
  -8607786099423578014 -5595597883120365253 6546488258868457478
  -7526678773834861268 1246750966833922466 4080290519135367775
  -7421924066090954842 -8627528719139963725 -620586871013985661
  -8909446669880030095 -663515867942491439 -229831571059432349
  2001028572830139846 4225407129009687617 -3032729758512821890
  5348866982350657290 8236936929991275323 -8040375257718216695
  121859075518417738 4498581113930161716 -7646042379809263245
  -6347500987362543361 2539990768235402625 868231100079943217
  2804360914859469504 93566965117880076 -2855723837866333304
  8219029487628834337 3185469662017264067 3911503606097077706
  1921431258143904136 1059822784093099312 -7090654870104450830
  1032570020520333042 6613673817451647855 7505842260940034464
  8948610220658542577 8388076986315305463 3082890619407124171
  5871296587674597287 -4030538693576527635 -5733345870871301430
  3622182241371384074 546074347019607421 -276025875228315351
  5470964874315811477 7993729123646764365 2058994302910448460
  2312917666423518488 7614608760565643542 -3088386601371033637
  -2713861248632414474 3877607378058053849 3774597583064309508
  -1257562361070741962 -5565277222527259010 -3810094056484604928
  6741645253259668839 -6745671494973779897 -2975147440736735026
  -4556557629372900609 -5295445033574800183 -6954574394816473238
  -7668859806753098522 3129872987844802211 3853079793282707405
  9068196782765609096 -8044824803987541261 -8413267618162834168
  -7257123290041575308 -8764764286157101580 7925414352522192537
  -1080904463890347048 2229015143667919283 452201900766791646
  2774246873680183248 4991026511831873806 5614003988195396551
  5785699939779021397 7623051746647324745 -2722990908969356297
  -3390610785603670863 -2736114695908143157 -1650835214447855621
  5180053294638136035 -767138109080875503 -589833486122680428
  -6378716302438169228 -1865154022905327063 8026104362531845601
  -6144054992112624628 9137457578444097476 7811296356027408931
  7828533528783565665 8275999332961706830 -3543033991980722274
  -8492788814294840684 1559199016825212987 2899108076969820266
  -7976709438839665150 -8329071653320738256 4120643363354107915
  2973359009431250182 -8379499886829800838 2097353685014540149
  1698546187127041447 -1539350545451789392 -9211710853496596819
  -2599185121133528734 -7143810559895374464 1265990602195916827
  -9047242872314811569 -1466084849378855843 8198817533965615838
  4307969671375851602 -619638437895758342 6738684732358328841
  -2131278808126419663 6738570890129809027 -3228538930463038220
  -2561228123781011279 6537870744864840427 8644484285153605870
  5466424545969708143 -8005466785110739431 2294962142330363790
  4253513850037171241 5811967126194580936 -7853535228426251305
  -6480412836338842022 8866884936057835608 7138188102970902724
  -1583672838425262761 7902593538316937778 -6443813509870184186
  2504805578962943905 -816451005872441660 1407597374558285500
  2955411661434495513 -8748702852992122787 8522098594810331875
  5183763983477898374 -1762130445096598988 1138721907664544780
  1409677950279822086 -8719288048477147119 -4855411014606117682
  1473831427970987078 5488417950221813453 6974069244534579905
  1591592909943812247 -1637845197222459970 -8446402528859632576
  -1212983974483812474 -8459148949854240033 7309767083513121865
  5082068314648871954 6932755705864850131 1059963374240502100
  6894737780630669629 392139089839802922 -6903455034542954882
  6490877311014912192 6529382053227264036 5918462347846483011
  3724566382152441826 4877622120326654463 -7091096335853865995
  -4022850148782308964 8726204505029267973 -5063743373971853604
  6256830869447437408 149970848588544855 -2966963137401733031
  -6098776253225605047 8741756001549338562 8294462140162772568
  4513804931132123789 9183262675634907033 -7586662746433017557
  -7358339616769964452 6820561373811839752 -4805202558944586019
  -30757873468341626 8057694159764058435 -8166008794030914110
  9155120271620459239 7645679925396023012 -7390892500804061717
  299819907490636600 1881009444401830841 -517732095045980511
  1112436262891639077 4289974914736993938 -5890248439907148378
  7455440684314441674 370451293712865146 -5985525360759929790
  -358229679730555802 -1047883678599280673 -4275337526780644436
  169110125414317156 -2396824146845755004 7201301742935230816
  -6074016386652616064 406510128284997129 -8517914475038249683
  -4838397309166146673 374640894713081071 6240484666183775930
  -3352161378885741573 -4710750935742864932 926672135337849570
  -3135980626075528293 3454574547917942936 7569147302265466617
  6598724283891562849 7642003823208015963 4541038665349692252
  5312207471307287915 -8197148474089189117 7216936342088742074
  5411403550286409532 -6952285798759356703 2098950354354618941
  -2348832789482438910 6599706124136539079 -7860865071827512582
  -4792774920591515939 1285650197479697005 -2375917527919303169
  -2318053817283646414 8147912764980264442 -4005933074964353136
  -475847156464003793 1514000302205335015 7350480446606703010
  4090878103590425938 8687035203219158714 -4794982991572677800
  -8862721581328536918 6638119357516321125 -8011256554767349860
  1294962479835867780 4886794283379895941 1304747587109305859
  7482459026313598928 4133356961238028646 -8972503279599081239
  7152843389229066765 -7418551761386144419 -8542056024589896182
  -1129686535610750093 1874792734542156136 4857774093741276331
  7408927598113586146 4248659022566469465 8687910452981147425
  3098453810166722805 8460210656987055971 -6436474137374566536
  6561978636733263722 5487588319584889639 -5188139430578372246
  -7587115613755085493 6438825487029288557 -8703391149750560709
  -12706321908470707 -6399703592120955750 343778499669611697
  -3618591441443587511 -1109488508663724484 -6902999391254195576
  4494885832114367217 4105536371052456891 5469563094637391375
  -2008107418597381031 -6478580361196481100 -2923868451280764470
  -6929142631443025803 7510814609973994256 -8681423492926289316
  -8741489344193178423 -2800183246954917628 8609514893353481478
  -3653975656601641641 -1941338606374290534 7930860839368998561
  8150511060364396520 5762835492799503633 5112490112906353635
  -3488238035567133516 2328488977092968747 -8924616697708926707
  -9076041435829882610 4349564983866396614 -3152137906146120978
  -4629942992794650936 3107643982947531892 -8957171779032675727
  -6474399112741879417 1007140591703843040 -213436624594325875
  -4619620677182330512 -601740862496822793 8215951777118255796
  -7700727477966513408 -4177368068070359145 569056223065908214
  8550014798543904672 84203934726674816 2286021762155315718
  -529372572574944037 6942985409590906585 6032760035159402881
  -6896226243416708052 -1298551266458363800 1135155428596997841
  -5204075124542689737 4245527318393517970 -135366555874198563
  -2964785372877156287 -8515106095161618601 -4915398514035370928
  -2435773817387025418 1841803692155118907 692817151852581391
  566038961587894983 -3566440255188556077 8712454099799476607
  -4558382675143552813 3900879834156685890 5675161228875284217
  -4180458630609188626 -9055954336870013557 6917716567260436121
  3424695203967051309 8804071417872364615 3010691132634667915
  5738259403241436335 -911769747406977417 -5603064076614899071
  -2815001631119785337 4623401209147541102 6155827710290004025
  1855880658362110249 -783374542225669720 -2591923847837734345
  -8667613743603912752 8240939807691377214 5142629241833917221
  253697886810607051 6083102889877075184 3467920249820410430
  -2326984251622766225 1890607630181439542 8673382674538289727
  -7620069176777280803 -2171657434082963208 -4818300730206653686
  -6847909707097422738 -8183376651935150013 -2785771646561421989
  5314620599678469487 -7068787073481554510 2782496915951969466
  -7428657942012150660 -3466131557419285185 -7246607025415351356
  -9126090425470764107 -2843168421932846133 -5863669505389115121
  2274545236492168318 -1051083536772901922 7973069411013758827
  -7381691028317527017 -432023066193576346 -7663519990817537534
  3964393598341262800 7469970197469192504 -6205265261729819754
  667027086081496592 5535404254868158334 -2244239820198580113
  -5344207838785659776 -204516709116520725 525490832289295561
  -4514695079860628649 -9121388010191397404 -8196909822981625349
  -2195795791101053098 -8633664968021193858 97143260710379373
  509153353775945837 3871318141480578876 1246293823006581194
  -3932545313384338763 7514882295238098379 -5373451634703806881
  -5366320386412252064 -246766941428936116 8190892833709104424
  5574257198323324361 2907602161420226568 4514385587141786895
  -7666644196137002157 -924649283069798262 -1784702007898959344
  5171449013054278768 -267095733320881966 6964105594487242766
  8781243204309323617 5261483178251530840 2057603687714387692
  2475629803388583258 -5662481188739068362 3539447211655061782
  2378527692856706879 180397240395160543 3456412723998235813
  5454679792684601333 -1234232093386957383 8389904194053656739
  5842609552469852068 4171447170058666227 -507683088395846399
  4744837459497907565 -8146123640479589793 2660109019681214725
  -7712794178407481179 -5637737575676750431 -415785218958020703
  3853629183581049113 -9219663595430370652 -9037479565613183395
  -1011689765684800754 1053592216047018499 -1369435285350585481
  -7058314480580002102 -2482541111096676183 -4037501838470955054
  -4532021547562958688 -8277949220528212032 -3381595037437709360
  3084947514539753857 -927102646522011676 1760511130691507329
  -6569916977319303077 -5924855935571930656 -8181726297638309779
  -4790697392842775248 -7836046836988858431 3258527196710431250
  -8385543320183929971 -7307541785691081156 3252426907491274336
  -3842399731081421241 -887027820203781265 5224429406257758583
  -3867912337883198062 5118559993645420795 -8138756080809808963
  -5339020857704555717 -584016872057634731 -8975002226013437716
  3896596736564852253 2644548397915669194 1944161969106279689
  133674106877478895 3622102005318793886 2805146001439124806
  1440283570478218861 -5033136829483318125 -3795758333711650365
  3152534189762487663 -5933817011720588138 -1764794433497669477
  -1574319318178975584 -151214799567726949 3120838853958276620
  -1971563722097818186 4150659851955166127 8730676499435445391
  -45491887497364011 4332049947599194322 -3789152594448398047
  7612697853448324438 8170839717949073989 -5112553172775863631
  3406948010579973185 -8303250289436284751 -1898187627266374397
  -8861524041628447970 -3686630312051347320 4020422844747973773
  -3344360979691552637 3760223369394458320 -7190843651599243321
  3649616992990284122 -2371645529197209889 -1441144606382903114
  460625832057154187 -8826269399812325323 8376932608902022488
  985136725308171786 2499106936726948399 19751868278140563
  -9101779279233585869 -5874609806634308790 -2837574686827278832
  -2847252692180365880 6988064892373192949 120769691592743022
  5664769042538828389 6069916598965942199 151620448039936661
  6744204116096893570 -8869734459792498645 2316856389702319927
  -1595654673304333492 -6347523496612608311 7792920213682549673
  -6887793830724283379 -911498212308149992 2744193013308547373
  -4042094539400456158 6783325946002664270 7270181151693974385
  5583384268393660932 1482395486292284027 635771961111895958
  8781048931538246070 9131236858486294375 1354418446389883018
  -7363073299786324268 6028114931567447963 -3394822007893683598
  6156755942174742980 4259877350377026221 8354461402404093741
  5758927897569318661 8407336283381581378 141361014336957115
  1083904262370159747 -658443887274582679 8098388767969861633
  -3240802368028600634 -2676360096849266432 1243852539988587655
  1086063140678914368 -7884340814794395615 4621231614770160711
  -7690506453814657844 -509480080795300708 5377770240518006694
  -4248443677931127593 -3917641940704866491 905701088947325979
  -1873857274437157168 7587766514431846397 -4100347456464180966
  -7034426894901847890 4606478982576447222 -7766954951934142125
  7961719129151646641 3659980464823142971 4688173396881510353
  -5983562316646830390 -9169309392689494372 -6005102599810879444
  2580037323227614570 1706582979381962593 2774618444819080074
  8977384813251718272 -6502709463963426882 -2876687400492207200
  -5017323765164629710 8961857517154586146 964650670593313600
  4845097095878770127 -8082001687865555547 -8428402663936209821
  4037678788329563002 -2731063700220095451 5184641629461725242
  -7814093301746415641 -2083881748141855494 -6790572067380728125
  -8373315549637789358 448568607865031240 2436089964770956871
  -1173081964491099002 -4970234234878692634 -6945134658812474242
  2638404556029042267 3514378789251681326 946956131274597208
  7898486012132028387 -1925170859751370880 -3555237604910290191
  5819117862985376816 1179977452047368752 2091416680141876590
  -8993432764330186335 -2886993119257270752 5341106297884210860
  -7890944166691467941 -3727213609040146507 -7102309039922423101
  -6793924211640423295 -4160703901203197771 7326288887800848768
  8855924683874737465 -1585011240227794687 5818666528106103725
  1794648620762479268 8176442013950541693 -8026061782504772936
  6453006998828697152 -8127290963637869056 -71699155263159310
  8368417791273554345 3521069332783094730 3873032314305763443
  26037780769874708 -1528149979237197411 4925175840638090008
  5660407667078664325 -7614814130259107703 1157538222686862444
  7839059803176338902 -7831520018952969084 -2097434778961977213
  -2190844406953518029 -6849494692340940173 -8682175255720061609
  8400136515144154474 4895643356960200572 7609177131903787172
  -8289579242211549036 -6477912052265629118 -7249148771263827308
  -4584094819556511455 7206835818493428147 4945867969555097595
  -6992035391818491978 -7103193290883908389 -1386619198092090718
  2756326397230421964 7973866629076676318 -4711737649789048769
  -106112524961388395 3975500543436336899 -4782568894919301856
  4162072248269008229 -3083656692492471970 672421372543254593
  -2094457467961165334 2145929250633438054 2717806404783938216
  4443874668939176025 5059480241541354071 -8109329529380252788
  -2438035641787450418 -1026924956698333761 -522882355758790198
  541396967854028066 -1547800563050716392 -4732297947913129800
  974179440992280516 -2988041463537990416 -7554524765308000562
  893063467291033971 -6164248693826478730 1033895139535807272
  -5615852022337705608 6028851616717546932 3485027896420152134
  7445563509906373118 7404159305436962502 -8595932320119138185
  3724307837296947120 -6381691217145949080 -491474953003473876
  5102750412117127800 8387801290504256219 7305268910588374384
  -2813720710432594491 -602040653803990663 825176231896387335
  22702088961778947 634829870678378729 -7259789266992398674
  6245427962082878730 1272901344673790953 7082463529778457056
  -5157944758570579041 -3678484605507751245 7344398244223600740
  5086279860265047995 -8713993524122900928 6683119318167726802
  7670163458454619720 -4951525535748568436 4992852411695592382
  -3738306832832418253 8794489543749516843 -2070346980634488371
  5429300982620949460 -4859334504713355603 -9095104218423368376
  1755930377984236206 523774755858888083 -1870380064502639405
  -4965186008878326193 9089210945291992796 -396981840060097296
  5191670533334231256 4605943027059427560 -2932529259802373021
  -5676253105953363568 -2729978617797694842 -7932669459913746616
  -300535540174312213 -2692399355694894718 665376105894520964
  448933345592058608 8952724637646072592 1885170453883568165
  7832147120906773728 5348307817348094256 -2350105367482884271
  6498003177904458681 -1875453085463904875 676876481136461693
  -7728238737949959457 -9212707660505714146 9042836790797273449
  4634624448625987374 519269135821597160 405587433114636016
  -3788225471941671794 -2560902252192971401 2579949947505962817
  -8507876219647509976 2737248775463696589 6179873948617230130
  -3045286032596967981 -1360268935368289453 -6262568808980841706
  5712921553632558637 5815162026018355906 2550208232714946863
  6509948361227211332 -615542995079071993 -7168437748030608842
  5418866977008498881 6717696149871278849 8056436313604290603
  8534323550986789890 6795966782876478887 -7300477334144947196
  -46709981985535189 -576812911046611687 -5465041063910842188
  881162106217999083 1381564463732587296 -8562039348750609316
  -5467731563971498541 -4747496416990962714 -8300868161651601748
  4623535424339648023 -7002798663440253608 -1393223261347364388
  -2101156105708435800 8240718505040288478 3181213440325416843
  -3499999847080470559 3429736349989750886 1395115220476867209
  -3404756719370298270 -3042724614627578406 -8294929864985794829
  7126947153725711170 2970864181855781163 -1600217630093718885
  -3481291353883948059 -7541444272190132140 7342547312203023312
  5273158138592360787 8253879820069078951 2518778119193836298
  -2472532906910416837 8858644267238568598 5960253903036810184
  -2298597896838748684 2001611306149564016 -7984622325414144772
  7932380752216592116 -5533764587605619011 6314976711776369964
  -3362875172527113687 6882973387692565188 -918052999573943655
  -3394753848923750292 934556204382234810 4072746444342489088
  -8578916827436178967 6296884645734827593 -40130990363899805
  7617700440363498304 -8541944531885128956 3055892122981546081
  -6585132110599863060 -6235041990625080248 -8411744702733614894
  2778841778535362543 724648968343024213 5079678695139299052
  6504448380675290919 -4373361572443107166 -5706333619603833410
  3378095802998179468 -4877785491251074784 2513819707781669700
  -1009001889916221136 -4017722931377609385 7804231914189936771
  5689100723225490855 -8039130628237776359 812352355842703705
  6284118545641777941 481624080252778780 4689383232152614564
  2252457126490168930 39915291421888878 -6015525704623794994
  -4273426665810081050 1006944553738476876 4030107235895318812
  -7046446014238235906 3880704243768647587 -7278294727457033776
  3241102747760069047 4289697601772732748 -3042981588628638673
  3561179456452867496 -8288781079875833545 -2977925927569658636
  -7059802992283943356 -1130595795475269140 7597393735011855784
  8012338768422356665 -3087935903364323431 -7591450901407425903
  -3978293559706161628 910904815278366251 -748669114241653671
  -1729855776423426041 956977282622065813 7142017097168527300
  266828995068613375 736602166201330357 6051434779287136847
  -2124866094942140390 1943591243429070945 -8322130094802543756
  6424423954523469373 7281554792351392304 4774661623619668162
  -4106601007740811883 5350234502277371967 8488301605945312423
  6532243581449017628 2909054851550301192 7031746492626875868
  -8172767206073536105 -7444129561262070389 -3931023706886211371
  -2746739856829042538 8369182895129441713 -8711481345226577938
  3196048677329436423 5167846971138421729 8910304080044641419
  942083375307353351 -2005083591447752247 9107161086179066896
  8104315334029734122 8031689949954967621 5643343669932017690
  -3570088031482835736 -472672129419743134 166261788367023430
  4041296758381802124 -5145143295275930369 5432914955951795407
  858914536726846857 5299791296017167275 -6460311101837859082
  -86785343175970079 8054651846678650108 7377549334334244313
  -5141131181618079812 967160109811601679 -330517961632026533
  -4786946699097873753 4308034386409275778 3067210019683135313
  -9122598488051773168 -2003768648788341963 8082070355771276312
  8333314869901666794 6834037350479729809 -6968269250648427397
  5167459921187808537 -3343894721891140347 8478257467436052045
  604857855694108561 7612863130796084796 4683927041484685889
  -7606430939264826418 -7798686169599021907 2978796015012543363
  1427863368407286521 7015148690193851458 -5443638360461229262
  -9186740371356961604 -8625204111405489251 581893454542568529
  -2232971064642066953 7340417187719759864 2909390999921846977
  8956472664174582237 1146352511354501179 -5468578189223989042
  -3999997655134956895 1373134346643445883 6067518268658654597
  1459940766955940438 -2660747353428095437 2777904078905006936
  -5550167636614826590 8750916435186011728 9023058720501206635
  -1888697426617981504 937503010683098295 3786502586311614136
  888968053193884942 -7454490136695051675 -1427732310907689003
  -4839477026504941670 1169098111200693851 -2990011142260664761
  -1865880625168512921 -5239225309884311740 -4304895652273956060
  -1998839276176148138 7043620986438219973 3814702701492975831
  -4613538968037597710 -5407760253570412159 -2940966578767983320
  -5400744050692811596 -6420961489064183047 2520864427302005669
  -8931506038034973434 2855142637446785672 -7729458442098064947
  -5195028405713355134 -7064752310164996474 -8610556229485113592
  -1382603500232307037 -7027681540269840627 7079076424821454162
  4981710205212473595 -63397740397219867 -9126191107755787656
  2102297029070912529 6789601565949175477 4007709334975927899
  5457417444401270899 5482735660095173467 -3527060171296557787
  -6952024780358846920 1504827438872906982 3584361371298309406
  -3500167015505535977 -4688591554590434815 7991734959575979113
  2169283697681374452 7224825597008438377 6396890162404600134
  -829549189055601541 6665855388270590235 -6018601816874579782
  8476632769490571684 -3827405572148797510 533781309172138518
  8225295001375478602 -955404502157681191 3105222649829482239
  -4296804154899472879 3377697384484833427 6375829628517870295
  3616605425616396970 -3626372341280379838 6701527297271157345
  4818325905115369458 -2205670221726216051 -4614042274414931220
  -8354415113813460604 -45355630790659208 922734660378671131
  -1286469270871152304 3429141659233567832 -3443122897771684988
  -1430476707341196432 7736677936221374948 2902330272717425810
  -46034052746670378 814981895283964772 4225953356403495139
  1339007664728839827 7030776369892151080 2778165294503224430
  8908023021373309262 -2037898114205608827 9193189205033937868
  -8118762345239139398 -8946114389774029969 6985937293975365575
  -8579464633104443028 -3358410041809314577 2988828853998018386
  3654688619695026332 8649691684239961969 7840437036589288514
  5303626872988189529 -4833366617305751208 6918676026233028803
  7298710830635523367 1602601243637300900 7477643872186152584
  4197150753898021451 8995623728323117066 -2876572979116237783
  -4378022165927793603 -5022510784960741031 8931103136100995759
  8102483202768794111 -1965171536307959182 5547006925317666300
  -4032858226762362789 1357436543164530156 -4337096514236958457
  -1777734345806607172 1394947425194777086 7018915208936997509
  -5362971084418814238 -3424506101624692468 1210468137589824143
  4545474793710721513 -5181657216507587901 -4389598904715090951
  -8431443862460790930 -5374092238074923327 -5757024421956817474
  -849158611671284791 -8456744647809549800 3888730916910173598
  6573134792220064496 -4022250469193792202 -4212989558305810971
  6102239503441029067 823160577629091323 6952353874904881367
  -1986327086575878179 8634304352413117403 3310761726845377003
  -1844232973677459915 -6070961343440344794 6870097025642856748
  5723029611433445128 -6387531859286789207 9135021711198935020
  2324486568490519043 -4835044346297485668 -3086564326564136883
  -5720027478844522716 7477856226564731114 7449540663452719959
  -1553696441772294171 5431379765965069738 7816172400407088566
  -5325426932402989377 -4625264174422208439 -1491799300374077820
  -3240659682962402364 8473160703732645328 -5673778467630947425
  -1725304602192469106 8723362235922737288 1708926073814666337
  -2522101440554926770 7000833122963141590 -5363962369489205296
  2195312861740406494 767729706254093741 6973806985332318037
  5162294773886132298 6276661800298028370 5737008203229171044
  -6629940649598625778 -4106874979407820062 6438747558571220735
  2941103795798658564 6544025053190216776 1077050664890716074
  1814557859797645911 8857692050632467304 4889144541839193019
  -1634589110877218456 -3308610481231610727 4417923109599228252
  1407913922044136117 -3702506237764010300 -7046619980432584349
  4606786872867680597 2815846779532750063 -6031383752693505765
  4279911448437996988 -6699545174453638467 -282994549191543711
  -497598555499799211 2092202774387441379 -8042912515050385285
  5580756400622719413 7512147296400997375 5522376661407401381
  -5558275981302270844 -7563950314228449962 90350937437914023
  4413838995495443771 9211445418546974424 -9022978388018007357
  -7489161554689684213 -8956288653728453415 5710158941939806584
  7930404428252561146 -2666926351482707256 8915175961645628216
  -2718329957810615493 7042135022940439051 1897240510892166308
  -1436663989065392349 4912262416782221873 4428335659331088708
  -8520174138274239370 4298509490052813134 -6572420333002645422
  -1530614398197238651 -335407827126352242 -7771702050036648740
  9083805764649879490 -3708509888252715246 8900833461673054154
  997128321289327065 -4050604962983776502 -1129432871628886628
  4074938356738635181 821779657969404843 3624998748040501938
  5203933898797536730 -6471645317379595446 -9120302396458752257
  1716941843215718967 5824319914079997903 5112631249857856733
  6702232939157022348 317076894964647988 -5369573159059697217
  -818342725239277130 -7878402608473854297 6233335120160504178
  8048590401907752453 4113688919910089233 3026387632901707538
  7316146135247516851 8185083631936053924 -7961371104275863649
  -825712182779183117 829485950778136005 -3123363185305692819
  -8778136319743517840 6756264228609259123 7044526284288561731
  -4732865369308886765 3449605329070853331 7458761072189951643
  -1593245055156022970 -8321809631183025331 -3034185458104293936
  5065188404478424018 -8065885805461460402 1943646332162337244
  -2072520740774057813 3992771534650967416 4437953978002834007
  -374693822156359678 6400066393607771247 6153069224302676429
  -8895831749418916303 -4519778156764593280 -5018875553172957840
  3102802697810835627 -3234123736081046610 5510500642737895765
  -593648178047174058 -2400176684164247917 2596759994128889314
  7181657583769239859 5052250834109960683 -2460937966261694653
  6146032210439945581 3246165446251293872 -3653604879643415730
  5807448877759305994 -325360078916277843 1553734546540983904
  -7211861021662175830 -628185255884232736 4641708751001956082
  -1473685737268748841 -848741897391857973 -2756413742536716488
  -9164568758648196397 -8430900981814497393 4157226908100403214
  4254966248336784052 -7770275055078515690 4685912064334450725
  7891914427473123916 -5905564346997484396 -275517661044679118
  6893310288885243256 8867094879872521095 142046079773683295
  -226722197559270101 -6496924262057549383 1999829996147073726
  2154029823334254113 7498103696898970914 1961424510627853700
  7093714310891680547 -3067472065590932769 -1403579916108271785
  -9108750617059179707 -2701616553806535943 -4573221296242115711
  4230152943057459527 687578436413942246 -5774008795161365376
  -5805505807344902611 6073246013260440645 -5037327050843694901
  7004107315663551241 -8144336062292217609 5530022421196108640
  6971606028223541193 -6593744907828899226 -482763533408862072
  -7526253908788872635 1561500677167823136 -8472092250863745717
  146380602160650678 -8458209974988888320 252024059488288604
  -7759182290243638010 4680625423282731505 -413166796157128949
  5260436506464537910 6639874471524236465 9213315884547624908
  -1054076798621917045 121675289579722032 -2800059309448568109
  800483902805740009 7012247337707596794 927087621482813200
  6852518391236729788 4299387307033407341 9104002281962242880
  -5967531011842466562 5480183248897091446 -1985255548940088753
  -1879168458409709367 -9205684897584574293 -9106348627821959364
  4330498084021497351 -5675130049547606914 2343313460067468410
  8995749164540830051 -2627340331590682476 7389694439359524999
  -5703636233090466201 -2884130730512927242 1641516918397288775
  -5600981675487313120 -6999018029204745768 -7822457949209049081
  1013818444021192344 -5518294012238240563 -2945231983298901211
  -2525673170317637126 -6230954201307957134 -808080316391211165
  7189014610587219691 -5619451453142676747 6245401386700713728
  -7655814697191647872 -2046397062283568082 -1888657234320630568
  6875872737003604331 -8580425228521981937 -4811034708872503884
  -5259824626418294394 6780361530790677019 5710347524780587561
  3256023669728492894 3443114170915104512 8372759238665628978
  -3207913354700071212 3012923302195542271 1309079155963179446
  6756080457752721945 -1789534714863327728 -8985938068191037129
  4349279879748793081 -2490747300167108738 543760529133920937
  -3909289386130960357 7281711750290917497 -1321313615524301188
  883952084812879844 1141584547376613184 -622793591020939745
  1891602023785369820 9184964849407410693 5358745744110486564
  9099867357307047901 5097344847281417017 -4046150804831569825
  -5467992669438690629 -4058850812158808152 705235949354395492
  124594963352823085 -5562561550084486939 -764389594955032338
  -4564245051048429546 2819885238469852631 3339684927625679367
  3110738333873258416 -3950223176813655221 3698275993423335891
  2714887477556851742 8134482169640716215 7959961725280040187
  8518086928097582358 -516519819947656179 -259076590018920593
  5115226478948003608 1740288644507825972 -3026088911013205870
  6262463922230903160 -2823639291674218529 -7138279576118008750
  6614309761185984342 -7584793130541373908 6447007167647067685
  -1793687662754440309 8265292615499791086 -8515757784295248304
  5761604737151731138 -2155716103426704647 3032461326225301211
  -2427490560000921749 900179022728025428 -7171777692606754986
  6135456578436870201 7606197104223908462 2394084630226927248
  5822964467904567948 1172611527244671521 -1646073977795722839
  -878250651839742346 -1125615798021509220 5858111981670101046
  -5430662695452207884 8398102385336502182 6435573743861600768
  4520629181109061168 54439186536957535 3346793966038864376
  -2938900366096457943 -2772297271751189272 6633532190835880152
  -7793788872259913495 3218285455708777291 2706930550803996711
  -6366575219322932408 2256674712718330696 -7668410183856260248
  -7209022241161751698 7223448215035001080 9087839113808729791
  9116297091056378078 436553683338730618 1017593074524469467
  -307753401464782672 -8428478342732663613 6518450025372425370
  -2202695816827264886 7849681976945645394 2754577277969434121
  637494812970385758 3722150226362521745 2605886809773869894
  -2810702438387573121 1683927134955247959 -509529784958905659
  5491027668626042635 -433651453680691211 5260830556347741789
  -7690779094928145680 -3148987761799519351 -8132509602069184925
  -6034831940713326520 -34463432439340118 4037668039417814442
  -6763798319531007623 2206272441595404578 -8284267046193013927
  -3597353503539906954 -4184325740209931886 -5090967447504745362
  -5947417122876337191 -5054250022222408168 3393614954144922280
  14403402386505547 4677366189247990622 8646094000551990293
  7207313945355031906 -6342229489309581509 4873277439196659928
  -713751841422102911 -8324418550868177516 -4166580811750597591
  -1424166143581761174 38841802384686963 -1863514495793403318
  -4049948047873993585 1064013097711768444 9176033165960702134
  -1145068012404361233 -7184980733424024723 -1061268224881644714
  -7918058007769694901 7127455728937920162 1024342864903791602
  -2729631584899298541 403046361989059869 -8189546784789654740
  6368149582672973812 2190726751015743397 8805545885512582318
  7023907110719944791 -7372456120011269086 485781824039165380
  6975686511468121014 6815910087493341254 -320524790558291396
  862215275795043939 6614974658827905597 -8465575342885424530
  6610042153392972843 7903680126484066633 -1240395234311217823
  -1846924112472771884 -6795909988698677915 -1852947957263821028
  8037473559369361764 -2120850900748068275 1710512351035237105
  3832073491905684915 -9023460445089857070 -4185963705344163926
  -3326205439721150884 -3916755919460926300 -7599354036281022434
  4936340185235408677 -1435282956708897318 1623255029077934530
  8495293096947006516 -5393967164572371158 5542869480260515351
  6161203167237312984 -6971660130190551849 -7125130152394314949
  6496399760924497362 -3909877523457253824 4721727889497231140
  3102984075116338920 1089640383014885212 -4127600040393855782
  2372252451893984914 -2306560711184784741 -4216572129501583322
  1309940530587001347 -739148969621291498 3520570984362055347
  1611433299375484951 2826782108648484162 -8444633402997358414
  -351053403518770959 1763615884292335990 5961143895669535473
  872038395435345015 5440101096849249604 3029989738274944454
  -8762898020602709802 4784417062509623171 -4330179397892658500
  -5399655264436461474 -6491431086289653942 7054216959297738344
  2062064768229799488 696453765321322425 -457738154662430935
  -7227333328651205542 -6010501147911305226 7070616663948353183
  -2834024804157663345 -8988006786438049399 -6472032715842898030
  8342124825635741007 1146471493179500196 5529254796118103242
  4215875151093039911 -3900882838941228926 -6819959407862508458
  -14870599025892321 4419008951853886049 -6512582906652574942
  -6451170351678717499 1253857191632640995 8450150472239836302
  7087279447618337920 8853885852698374558 -1234063595823078002
  -5461537041030224765 -8267416755274595265 -2934087764053379547
  -790775541795020471 8756613449457196309 5307838563406748593
  -5132444026876954235 5418445005811523546 8347432870806740260
  -5009827407044554664 -8391304954318797754 -5765548266832223078
  3111654235431533046 6231781447532957897 4527757459624685143
  -5453070529220280318 -7786233715618556788 -3781927080164663257
  -1329428445306808669 -5730977181548909822 -6717085155206069441
  216250799469630312 -6483995431975374498 5855409924513118641
  297470267224219069 6051951176163493787 331203448014768635
  -1838676462824713405 -7544633855050727129 -5569868110150140918
  6123353209454704593 -8190138004439713156 8333612675871365679
  4871925141264059558 877731040876071175 6021657247115864032
  7312643648879937563 -1031446247657251898 3429636354685851339
  5020591366645017571 -1894133145928663796 -2597859815686206626
  3395057437126029788 -6274043014759631838 3551489579413985224
  1180108536099659082 -3484186171743085473 -4707125533601820360
  883197754226487345 -8144666647010804918 -23398670343347052
  -8510039181708296273 8333477511732931192 -2062740704933839939
  7585769581194638018 -4070286091355447391 -6872366553036024043
  -1192112452986223529 1571241371862735854 -7644920800523190860
  3972817872486258707 -6826176372268042180 1893484865724161897
  -2490821037500952981 -9215442467441530149 -3131795840970944133
  -4825046133863707865 4439931741917340472 -2665055210316418251
  -982683157725751390 -6881018679054784374 -1465079261324625999
  6452573215389768891 -3718868046943936373 -2837385171979280251
  -4212288521994669003 8071025941285055113 7504089604369543233
  -7058269310970377080 7895341203978574595 8267592746837969393
  -1557189353430237515 -2829912227775335537 1317880428261774105
  -5374391183315995156 -6251297376836531115 -2876779228777472267
  7951014063491893079 -170056450872433422 -1705082604111166758
  3286978163599747044 4886317067676673446 9113747512284338126
  2518406841661771632 -3996389182592757813 -4174210697860348319
  8244865550583098069 5250702301886769841 -6726471913247500781
  -249735010354188247 -993928342416365331 -1091877419060980520
  3472899006175761539 7106732407560738981 -4497632017223729057
  -7236108756910002543 2538956841701753910 -2286980427216161642
  -2567155224271457806 -6467619486095572378 2130357342971851913
  9210173364808097726 3919806240802755420 6350313798755267743
  -2805199035473616344 -7778407156707984519 -3793790723504238671
  -430907790710103173 -326595705937214927 -5002176500255352313
  846776945318331355 3473393436819055091 4085116281320042147
  -4664059988122758376 3716007331143308676 -6912903308834207121
  -8376263217159885467 6982744718332484813 -9137684451826940487
  -4690308182553722768 3557182250581641110 3360708722159863608
  -1903781942930280842 -8634724156847149506 -8485048968664052011
  7805529520564851168 -8894693638541652707 5164498053805297120
  -3830373280960466507 -5764162947679281432 -2314097358939627000
  8516923070111734486 -4435028412803436554 3605937136011004486
  -5350058524633475840 -2170368556855609771 -437386335015070644
  -1525297921394867551 -5882852354861938739 -8928961487614460949
  -7467897723809681976 3836731175897856499 -1540348976501309510
  333933690112709010 -7450402506744628742 -9103994329222752518
  -5895151687066882728 4527138514691736544 -1861073208560623496
  -8544258325905517076 5344377289126642954 -6809613085903566076
  -4583703091841503667 3781332980773709392 7334718358864620387
  -3917079549018647368 -2445904423875634499 -1797817054493437291
  2148480519344199641 -2383801526800874053 -485955720817635001
  -3127633217769585993 -8058667129094573970 1672941444530371518
  -2964789143501672668 -8007557433829387217 6530194417328763334
  -4590705014641708253 8101511762799879993 4293006922658952754
  910317649769354315 -6547919585382725461 -1555840490317136338
  5706300102167443658 -5943202145962561443 -5844357330272180634
  -5220382997788969747 -5738712091736664450 4102791061288584036
  -2770113591912055422 -1222381984985344048 1516861341878069381
  7680192568356734860 3286343417877787122 -1050848255645039349
  177495737005728113 -6202226200254750178 -4610600166631372372
  5156913639629676446 -7247379654249024315 773707240655251677
  -7132246319879437891 2797782036122677615 3965643177120191978
  6601587539376562812 2310055914541826338 -8807835228996141511
  -8045530960973209880 -7664894641413575632 4750792451062512239
  6097462327379894097 -1757576419193166192 6887711034737647534
  -2872387012363294684 4223406648153920231 -5813607250711183330
  -6856895917566584255 -3571965561526637824 -3135955305384458724
  1340829626225050159 1276143706551655087 9161443038508915896
  -762342874534572466 6129510989548712539 8629140936694278761
  -2482895865223928606 -5438962981031593949 -1382131647928351415
  -4799475007579286249 9059421727631828976}

